翻訳と辞書 Words near each other ・ Kurt Weiß ・ Kurt Welsch ・ Kurt Welter ・ Kurt Welzl ・ Kurt Wendlandt ・ Kurt Wenner ・ Kurt Werth ・ Kurt Westerberg ・ Kurt Westerfeld ・ Kurt Westergaard ・ Kurt Weyher ・ Kurt Wiese ・ Kurt Wiesenfeld ・ Kurt Wilkinson ・ Kurt Schöbel ・ Kurt Schütte ・ Kurt Seibert ・ Kurt Seibt ・ Kurt Seifert ・ Kurt Seiffert ・ Kurt Seit ・ Kurt Seligmann ・ Kurt Semm ・ Kurt Seyit ve Şura ・ Kurt Sherlock ・ Kurt Sieveking ・ Kurt Sinette ・ Kurt Singer ・ Kurt Smith ・ Kurt Sochatzy Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Kurt Schütte ： ウィキペディア英語版 Kurt Schütte Kurt Schütte (14 October 1909, Salzwedel – 18 August 1998, Munich) was a German mathematician who worked on proof theory and ordinal analysis. The Feferman–Schütte ordinal, which he showed to be the precise ordinal bound for predicativity, is named after him. ==Publications== * * * ''Beweistheorie'', Springer, Grundlehren der mathematischen Wissenschaften, 1960; new edition trans. into English as ''Proof Theory'', Springer-Verlag 1977 * ''Vollständige Systeme modaler und intuitionistischer Logik'', Springer 1968 * with Wilfried Buchholz: ''Proof Theory of Impredicative Subsystems of Analysis'', Bibliopolis, Naples 1988 * with Helmut Schwichtenberg: (''Mathematische Logik'' ), in Fischer, Hirzebruch et al. (eds.) ''Ein Jahrhundert Mathematik 1890-1990'', Vieweg 1990 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Kurt Schütte」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.